Feeds to Scour
SubscribedAll
Scoured 19485 posts in 868.5 ms
First Proof | Research-Level Math for AI Evaluation
1stproof.org·22h·
Discuss: Hacker News
🎯Performance Proofs
IESR:Efficient MCTS-Based Modular Reasoning for Text-to-SQL with Large Language Models
arxiv.org·1d
🧮Constraint SMT
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·6h·
Discuss: Hacker News
🧮Z3 Solver
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·17h
🤝Consensus Protocols
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
LangGraph vs CrewAI vs AutoGen: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to·19h·
Discuss: DEV
⚡Proof Automation
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·13h
📋Document Grammar
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·2d·
Discuss: Hacker News
🌊Streaming Algorithms
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·18h
📊Performance Profiling
Metasploit Wrap-Up 02/06/2026
rapid7.com·14h
🛡️eBPF Security
Let Lambda Come Over
yamlscript.org·3h
⬆️Lambda Lifting
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·7h
🏗️Compiler Archaeology
The Little Book of Linear Algebra
little-book-of.github.io·19h
📐Linear Algebra
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·18h·
Discuss: Hacker News
💻Local LLMs
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·11h
📏Code Metrics

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help